This software is for academic and research use within the Apple University Consortium only. All rights are reserved by the author.
This diskette contains the following items:
1 The font file Logic Fonts
2. A Documents File containing the following items:
a. What you are now reading .
b. A list of symbols contained in the fonts (Inventory)
c. A detailed description of the fonts, together with
instructions for loading them into the System. (Info)
d. A directory for Geneva's optional characters. (GenDir)
e. A directory for Ophir 12. (Dir 12)
f. A directory for Ophir 24. (Dir 24)
3. The Macintosh System, containing the Ophir font in 12 and
24 point.
4. Macwrite.
5. Apple's Fontmover.
Ophir is a font of formal logical symbols. It is meant to fill a specialized need not satisfied by other, more general, technical fonts such as Princeton. It is not "complete", in the sense of embodying every symbolic variant employed by every possible logician: a "complete" font in that sense would require vastly more characters than a Macintosh font can accomodate. Rather, it is intended to be a usable font which, with a little ingenuity on the part of the user, can satisfy all of the needs of most logicians and most of the needs of all logicians.
To this end, the inventory of logical symbols has been superimposed upon a complete standard keyboard of letters and numerals, all of which are available along with the logic symbols without changing fonts. Since most logical writing consists of English prose interspersed with formulae, the advantages of having a single font for both purposes are clear.
The font underlying Ophir is Geneva, the typeface you are now looking at and the default font that Macwrite always opens with. Font changes between the two in sizes 12 and 24 are indistinguishable. Besides the standard letters, numerals, and punctuation marks, Ophir contains 124 specialized symbols. Geneva contains 73 others, including accented letters. Taken together, the two provide almost 200 non-standard characters. When these are multiplied by the options available in the Macintosh Style menu (underlining, boldface, sub- and superscript, etc.) the varieties of available symbolism are substantial.